<html>
<head><meta charset="utf-8"><title>I-prioritize #75983 ICE: unexpected predicate TraitPredicat… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html">I-prioritize #75983 ICE: unexpected predicate TraitPredicat…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="208215523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208215523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208215523">(Aug 27 2020 at 13:23)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/75983">#75983</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="208398694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208398694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208398694">(Aug 28 2020 at 21:50)</a>:</h4>
<p>This one is <code>requires-nightly</code>, so I suppose it's not really a <code>regression-from-stable-to-beta</code>...?</p>



<a name="208399933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208399933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208399933">(Aug 28 2020 at 22:07)</a>:</h4>
<p>Removed <code>regression-from-stable-to-beta</code> and added <code>needs-mcve</code></p>



<a name="208399951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208399951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208399951">(Aug 28 2020 at 22:07)</a>:</h4>
<p>Unsure if we should ping cleanup though?</p>



<a name="208587394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208587394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208587394">(Aug 31 2020 at 17:06)</a>:</h4>
<p>+1 for a cleanup - maybe a bisect could nail the culprit down and help keep it in mind in case something is going to be stabilized</p>



<a name="208591731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208591731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208591731">(Aug 31 2020 at 17:46)</a>:</h4>
<p>pinged cleanup for a more rigorous bisect (I've just run something quick)</p>



<a name="208651123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208651123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208651123">(Sep 01 2020 at 07:04)</a>:</h4>
<p>The bisecting revelaed that the regression happened in a rollup merge of many fixes<br>
<a href="https://github.com/rust-lang/rust/issues/75983#issuecomment-683999647">https://github.com/rust-lang/rust/issues/75983#issuecomment-683999647</a></p>
<p>It's a big diff, how can the culprit be better  isolated in these cases?</p>



<a name="208682200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208682200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208682200">(Sep 01 2020 at 12:52)</a>:</h4>
<p>that's generally the issue with rollups - especially larger ones that make bisection a pain.</p>



<a name="208682503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208682503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208682503">(Sep 01 2020 at 12:55)</a>:</h4>
<p>i expect <a href="https://github.com/rust-lang/rust/pull/72788">https://github.com/rust-lang/rust/pull/72788</a></p>



<a name="208683682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208683682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208683682">(Sep 01 2020 at 13:05)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="216206">@lcnr</span> I'll note this into the meeting agenda <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="208844807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208844807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208844807">(Sep 02 2020 at 15:44)</a>:</h4>
<p>ok so we have an mcve and a possible culprit, <code>P-medium</code> because it's a nightly-only issue with features not  to be immediately stabilized? Makes sense?</p>



<a name="208845579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208845579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208845579">(Sep 02 2020 at 15:49)</a>:</h4>
<p>hmm yeah <code>P-medium</code> I guess it's fine</p>



<a name="208846074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2375983%20ICE%3A%20unexpected%20predicate%20TraitPredicat%E2%80%A6/near/208846074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2375983.20ICE.3A.20unexpected.20predicate.20TraitPredicat.E2.80.A6.html#208846074">(Sep 02 2020 at 15:52)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/75983">#75983</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>